homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
Globular sets are to simplicial sets as globes are to simplices.
Much like simplicial sets underly common geometric definitions of higher categories, so globular sets underly some algebraic definitions of higher categories, see below.
The globe category is the category whose objects are the natural numbers, denoted here (N.B. not to be confused with ordinals in any structural sense) and whose morphisms are generated from
for all subject to the relations (dropping obvious subscripts)
A globular set, also called an -graph, is a presheaf on . The category of globular sets is the category of presheaves
This means that a globular set is given by a collection of sets (the set of -globes) equipped with functions
called the -source and -target maps (or similar), such that the globular identities hold: for all
.
The globular identities ensure that two sequences of boundary maps
with and for are equal if and only if their last term coincides; for all we have
For a globular set we may therefore write unambiguously
with the sequence of consecutive identity-assigning, source or target maps, respectively.
The presheaf definition can understood from the point of view of space and quantity: a globular set is a space characterized by the fact that and how it may be probed by mapping standard globes into it: the set assigned by a globular set to the standard -globe is the set of -globes in this space, hence the way of mapping a standard -globe into this spaces.
More generally:
If to the globe category we add additional generating morphisms
satisfying the relations
we obtain the reflexive globe category, a presheaf on which is a reflexive globular set. In this case the morphism
is called the th identity assigning map; it satisfies the globular identities:
A presheaf on the full subcategory of the globe category containing only the integers through is called an -globular set or an -graph. An -globular set may be identified with an -globular set which is empty above dimension .
Note that a -globular set is just a directed graph, and a -globular set is just a set.
Any strict 2-category or bicategory has an underlying 2-globular set. Likewise, any tricategory has an underlying 3-globular set. Globular sets can be used as underlying data for n-categories as well; see for instance Batanin ∞-category.
A strict omega-category is a globular set equipped in each degree with the structure of a category such that for every pair the induced structure on the 2-graph is that of a strict 2-category.
The globular -globe is the globular set represented by , i.e. .
The category of globes is not a weak test category according to Scholium 8.4.14 in Cisinski 06.
However, if we construct the free strict monoidal category on the category of globes, while ensuring that the terminal object becomes the monoidal unit, then the resulting category of polyglobes is a test category.
Globular sets may be used as a geometric shape for algebraic definitions of higher categories:
Equipped with strictly compatible composition structure on cells in any dimension, globular sets model strict ∞-categories (originally often: “omega-categories”, see also at complicial sets), historically one of the earliest notions of higher category theory but too restrictive to be useful for most purposes (in their further restriction to strict omega-groupoids they are equivalent just to crossed complexes).
A more general (semi-strict) notion of -categories modeled on globular sets are known as associative -categories, see there for more, and see a corresponding proof assistant: homotopy.io (previously: Globular).
directed -graph
Also related is the notion of computad, which is similar to a globular set in some ways, but allows “formal composites” of -cells to appear in the sources and targets of -cells.
The definition is reviewed around def. 1.4.5, p. 49 of
See also
Sjoerd Crans, On combinatorial models for higher dimensional homotopies (web)
R. Street, The petit topos of globular sets , JPAA 154 (2000) pp.299-315.
Denis-Charles Cisinski, Les préfaisceaux comme types d’homotopie, Astérisque 308 Soc. Math. France (2006), 392 pages [numdam:AST_2006__308__R1_0 pdf]
The definition of globular set, without using that term, is in 2.2 and 2.3 of the following paper:
Last revised on March 29, 2023 at 08:26:17. See the history of this page for a list of all contributions to it.